Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
161	Relating Computational Eﬀects by >>-Lifting Shin-ya Katsumata Research Institute for Mathematical Sciences Kyoto University, Kyoto, , Japan Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-07 10:18:24 Category theory Adjoint functors Model theory Semigroup theory Algebraic structures Monoid Monad Symbol Parity of a permutation Mathematics Abstract algebra Algebra
162	Realizing Underactuated Bipedal Walking with Torque Controllers via the Ideal Model Resolved Motion Method Eric Cousineau1 and Aaron D. Ames2 Abstract— This paper presents experimentally realized bipedal robotic walkin Add to Reading List Source URL: www.bipedalrobotics.com Language: English - Date: 2015-06-03 00:14:18 Feedback linearization State space Continuous function Mathematics Control theory Cybernetics Science
163	The Energy Interdependence Model between Russia and Europe: An Evaluation of Expectations for Change Nurşin ATEŞOĞLU GÜNEY* and Vişne KORKMAZ Abstract Add to Reading List Source URL: sam.gov.tr Language: English - Date: 2015-05-29 14:37:26** Energy economics Political geography National security Complex interdependence Russia in the European energy sector Energy security Cold War Energy policy International relations Energy International relations theory
164	The Actual Problem of Microworld Physics, July 23 - August, Gomel, Belarus Hydrogenlike systems in Poincare-covariant model Viktor Andreev Department of Theoretical Physics, Gomel State University Add to Reading List Source URL: gomelschool.hep.by Language: English - Date: 2007-07-31 09:46:02 Matrix theory Linear algebra Abstract algebra Eigenvalues and eigenvectors Singular value decomposition Quantum field theory Algebra Mathematics Mathematical physics
165	Maximum Likelihood Estimation of Logistic Regression Models: Theory and Implementation Scott A. Czepiel∗ Abstract This article presents an overview of the logistic regression model Add to Reading List Source URL: czep.net Language: English - Date: 2014-01-05 17:25:31 Estimation theory Actuarial science Categorical data Logistic regression Linear regression Generalized linear model Least squares Multinomial logit Maximum likelihood Statistics Regression analysis Econometrics
166	On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Theoretical computer science Model theory Automata theory Regular language Presburger arithmetic Structure Decision problem Mathematics Mathematical logic Formal languages
167	HOW DO YOU GET DELAYED FOR LONG IN MULTI-SERVER QUEUES? DR. KARTHYEK R. A. MURTHY Abstract We consider two-server queues as an example of multi-server queues and attempt to understand how large delays happen in steady-st Add to Reading List Source URL: www.isichennai.res.in Language: English - Date: 2015-03-09 07:40:12 Probability theory Queueing model Variance Statistics Queueing theory Stochastic processes
168	How Equilibrium Prices Reveal Information in a Time Series Model with Disparately Informed, Competitive Traders∗ Todd B. Walker† January 2007 Abstract. Accommodating asymmetric information in a dynamic asset pricing Add to Reading List Source URL: pages.iu.edu Language: English - Date: 2009-09-27 20:58:46 Rational choice theory Rational expectations Sunspots Economic model Macroeconomic model Mathematical optimization Economic equilibrium Macroeconomics Economics New classical macroeconomics
169	BRICS RSAceto et al.: Finite Equational Bases in Process Algebra: Results and Open Questions BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-06-12 16:51:01 Boolean algebra Algebraic structures Probability theory Mathematical structures Universal algebra Sigma-algebra Model theory Structure Independence Mathematics Mathematical logic Abstract algebra
170	Model Predictive Control of Underactuated Bipedal Robotic Walking Matthew J. Powell, Eric A. Cousineau, and Aaron D. Ames Abstract— This paper addresses the problem of controlling underactuated bipedal walking robots i Add to Reading List Source URL: www.bipedalrobotics.com Language: English - Date: 2015-06-03 00:15:59 Systems theory Science Model predictive control Torque Mathematical optimization Humanoid robot Feedback linearization Nonlinear system Linear programming Control theory Physics Operations research

UPDATE